鉄道システムへの誘い 第２回フェイルセーフの仕組み リレー，マイコン，形式的仕様記述(その2)